Jens Knoop (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (5)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Springer-Verlag Berlin Heidelberg

Jens Knoop (auth.)

Рік:

1998

Мова:

english

Файл:

PDF, 2.10 MB

0 / 0

english, 1998

2

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Optimal Interprocedural Program Optimization: A New Framework and Its Application

Springer-Verlag Berlin Heidelberg

Jens Knoop (auth.)

Рік:

1998

Мова:

english

Файл:

PDF, 2.52 MB

0 / 0

english, 1998

3

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Jens Knoop (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.07 MB

0 / 0

english, 2011

4

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Compiler Construction: 20th International Conference, CC 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Jens Knoop (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 4.23 MB

0 / 0

english, 2011

5

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Sebastian Götz, Max Leuthäuser, Jan Reimann, Julia Schroeter, Christian Wende (auth.), Reiner Hähnle, Jens Knoop, Tiziana Margaria, Dietmar Schreiner, Bernhard Steffen (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 12.26 MB

0 / 0

english, 2012